# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: -17941
  1: Value: -12603
  2: Value: -14129
  3: Value: -29958
  4: Value: -10033
  5: Value: -14397
  6: Value: -12328
  7: Value: -12544
  8: Value: -30053
  9: Value: -31590
  10: Value: -5591
  11: Value: -6208
  12: Value: -21846
  13: Value: -21846
  14: Value: -22038
  15: Value: -21854
  16: Value: -21847
  17: Value: -21846
  18: Value: -21846
  19: Value: -21826
  20: Value: -22038
  21: Value: -21853
  22: Value: 26008
  23: Value: -21853
  24: Value: 26026
  25: Value: -5591
  26: Value: -12316
  27: Value: 21845
  28: Value: -21828
  29: Value: -21846
  30: Value: -21831
  31: Value: -21846